mini-os: added arch_init_gnttab
authorKarim Raslan <karim.allah.ahmed@gmail.com>
Thu, 26 Jun 2014 11:28:25 +0000 (12:28 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 27 Jun 2014 12:38:34 +0000 (13:38 +0100)
commitd477221d40f0a0b318300bf225655332861cc0c5
treeaad3efd9ca20346fb4b13d0cb9b97317cdb940c5
parente2e17503ee4406dbb0511f8b48ece3aba3cc66a1
mini-os: added arch_init_gnttab

Moves some x86-specific code into arch/x86.

Signed-off-by: Karim Allah Ahmed <karim.allah.ahmed@gmail.com>
[talex5@gmail.com: split into multiple patches]
Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/arch/x86/mm.c
extras/mini-os/gnttab.c
extras/mini-os/include/gnttab.h